-- Dummy file to open inside `MiniMisc.find_root()` tests
